例句與造句

1. We discuss the important designing technologies used in mb - protocol and compare it with protocols related . then we give a rigorous proof of correctness mb protocol based on strand space model
   在此基礎上提出了一個手機銀行安全協(xié)議- mb協(xié)議，分析了設計協(xié)議時使用的重要技術，并和其他相關協(xié)議進行了比較。
2. Chapter 6 discusses a modeling of the mst algorithm of supporting qos multicast routing , puts forward a new algorithm , simulates it and gets the results , the proof of correctness and complexity analysis of the new algorithm are given , chapter 7 summarizes this paper , at the same time , suggestions for future research are given
   第6章，討論了支持qos多播路由的基于最小生成樹算法的理論模型并提出一種新的算法，試驗仿真結果證明了它的效率會比傳統(tǒng)算法大大提高。第7章，給出了本文的總結，并對下一步的工作作了展望。
3. It's difficult to find proof of correctness in a sentence. 用proof of correctness造句挺難的